9. Accuracy Verification Methods: Theory and Algorithms
پدیدآورنده : / ki, Sergey Repin (auth.)عOlli Mali, Pekka Neittaanm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. Achieving Safety and Reliability with Computer Systems
پدیدآورنده : edited by B.K. Daniels.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering.,Software engineering.,Statistics.
رده :
QA76
.
76
.
R44
E358
1987
11. Advanced Information Processing :
پدیدآورنده : edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990
12. Advanced information systems engineering :
پدیدآورنده : Paolo Giorgini, Barbara Weber (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering, Congresses.,Systems engineering, Congresses.,Computer-aided software engineering.,Systems engineering.
رده :
QA76
.
758
.
C33
2019
13. Advanced information systems engineering workshops :
پدیدآورنده : Marko Bajec, Johann Eder (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Computer-aided software engineering.,Systems engineering -- Congresses.
رده :
QA76
.
76
.
A65
M375
2012
14. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
15. Advances in computer science and information technology :
پدیدآورنده : edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
16. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
رده :
TK
7874
.
75
.
I45
1997
17. ]Algor Finite element analysis system[ Software companion with verification examples
پدیدآورنده : ALGOR
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Algor,Data processing ، Finite element method,، Computer-aided engineering
رده :
TA
347
.
F5
A386
19. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Software engineering.
20. An introduction to agent-based modeling :
پدیدآورنده : Uri Wilensky and William Rand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer simulation,Multiagent systems,NetLogo (Computer program language),System analysis-- Data processing
رده :
T57
.
62
.
W54
2015eb